Soot phase options

Soot supports the powerful—but initially confusing—notion of “phase options”. This document aims to clear up the confusion so you can exploit the power of phase options. Soot’s execution is divided into a number of phases. For example, JimpleBodys are built by a phase called jb, which is itself comprised of subphases, such as the aggregation of local variables (jb.a). Phase options provide a way for you to change the behaviour of a phase from the Soot command-line. They take the form -p phase.name option:value. For instance, to instruct Soot to use original names in Jimple, we would invoke Soot like this: